14. A life worth living :
پدیدآورنده : edited by Mihaly Csikszentmihalyi and Isabella Selega Csikszentmihalyi.
کتابخانه: کتابخانه مؤسسه علمی فرهنگی دارالحدیث (قم)
موضوع : Positive psychology.
رده :
BF204
.
6
.
L54
2006
15. A life worth living :
پدیدآورنده : edited by Mihaly Csikszentmihalyi and Isabella Selega Csikszentmihalyi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Positive psychology
رده :
BF204
.
6
.
L54
2006
18. Formal verification :
پدیدآورنده : Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic circuits-- Testing,Integrated circuits-- Very large scale integration-- Design and construction,Verilog (Computer hardware description language)
رده :
TK7867
19. Formal verification : an essential toolkit for modern VLSI design
پدیدآورنده : Seligman, Erik
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Testing ، Electronic circuits,Design and construction ، Integrated circuits -- Very large scale integration,، Verilog )Computer hardware description language(
رده :
TK
7867
.
S46F6
